41![Multi-focusing on extensional rewriting with sums Gabriel Scherer1 1 Gallium, INRIA, France Multi-focusing on extensional rewriting with sums Gabriel Scherer1 1 Gallium, INRIA, France](https://www.pdfsearch.io/img/bda4a37ddb49730bbba3598293364cec.jpg) | Add to Reading ListSource URL: gallium.inria.frLanguage: English - Date: 2015-04-02 15:59:38
|
---|
42![A Formalized Proof of Strong Normalization for Guarded Recursive Types Andreas Abel and Andrea Vezzosi Computer Science and Engineering, Chalmers and Gothenburg University, Rännvägen 6, 41296 Göteborg, Sweden andreas. A Formalized Proof of Strong Normalization for Guarded Recursive Types Andreas Abel and Andrea Vezzosi Computer Science and Engineering, Chalmers and Gothenburg University, Rännvägen 6, 41296 Göteborg, Sweden andreas.](https://www.pdfsearch.io/img/cbbf2198501cb01116f78d653bff6ba5.jpg) | Add to Reading ListSource URL: www2.tcs.ifi.lmu.deLanguage: English - Date: 2014-08-29 19:03:11
|
---|
43![Down with the bureaucracy of syntax! Pattern matching for classical linear logic Philip Wadler University of Edinburgh Down with the bureaucracy of syntax! Pattern matching for classical linear logic Philip Wadler University of Edinburgh](https://www.pdfsearch.io/img/f99c7b38ee2cbc67196ef0d5c166c284.jpg) | Add to Reading ListSource URL: homepages.inf.ed.ac.ukLanguage: English - Date: 2005-02-04 11:56:16
|
---|
44![Introduction to Type Theory August 2007 Types Summer School Bertinoro, It Herman Geuvers Introduction to Type Theory August 2007 Types Summer School Bertinoro, It Herman Geuvers](https://www.pdfsearch.io/img/4dfb8d9165ffdd1aa9381169f4105550.jpg) | Add to Reading ListSource URL: typessummerschool07.cs.unibo.itLanguage: English - Date: 2007-08-20 10:27:22
|
---|
45![CCCG 2010, Winnipeg MB, August 9–11, 2010 On the perimeter of fat objects Prosenjit Bose∗ Otfried Cheong† CCCG 2010, Winnipeg MB, August 9–11, 2010 On the perimeter of fat objects Prosenjit Bose∗ Otfried Cheong†](https://www.pdfsearch.io/img/9e07ca510729bd0cadc249a3ed24ae3a.jpg) | Add to Reading ListSource URL: cccg.caLanguage: English - Date: 2010-07-19 10:46:18
|
---|
46![The Duality of Computation (revision fixing typos and a few errors – JanuaryPierre-Louis Curien Hugo Herbelin The Duality of Computation (revision fixing typos and a few errors – JanuaryPierre-Louis Curien Hugo Herbelin](https://www.pdfsearch.io/img/aeae0480df2e4326d3214617d01344c3.jpg) | Add to Reading ListSource URL: pauillac.inria.frLanguage: English - Date: 2010-11-23 12:28:12
|
---|
47![Global behavior of a plant-herbivore model Global behavior of a plant-herbivore model](https://www.pdfsearch.io/img/59d06601a4d93dcd9f1770ca1d4372be.jpg) | Add to Reading ListSource URL: www.advancesindifferenceequations.comLanguage: English |
---|
48![Computation in Classical Logic and Dual Calculus Daisuke Kimura DOCTOR OF PHILOSOPHY Computation in Classical Logic and Dual Calculus Daisuke Kimura DOCTOR OF PHILOSOPHY](https://www.pdfsearch.io/img/9524f8af30dd053b2d7a92dff8ec949e.jpg) | Add to Reading ListSource URL: www.nii.ac.jpLanguage: English - Date: 2010-03-08 19:45:48
|
---|
49![A Consistency-Based Approach for Belief Change James P. Delgrande School of Computing Science, Simon Fraser University Burnaby, B.C., Canada V5A 1S6 A Consistency-Based Approach for Belief Change James P. Delgrande School of Computing Science, Simon Fraser University Burnaby, B.C., Canada V5A 1S6](https://www.pdfsearch.io/img/c3e9a0aad1f17bde3cd6133abc54a5ee.jpg) | Add to Reading ListSource URL: www.cs.sfu.caLanguage: English - Date: 2003-09-08 16:17:32
|
---|